基于幅频响应特性的半球谐振子频率裂解与固有刚度轴方位角测定方法

半球谐振子频率裂解与固有刚度轴方位角是影响陀螺性能指标的核心因素。提出了一种基于幅频响应特性的半球谐振子频率裂解与固有刚度轴方位角测定方法，采用压电激振台扫频激振，多普勒激光测振仪检测谐振子的幅频响应特性，通过幅频响应特性曲线分析实现频率裂解与固有刚度轴方位角的测定。对该方法进行了理论分析，搭建了实验装置，并对半球谐振子进行了测试，结果表明：该方法频率裂解测量精度优于0.01Hz，固有频率主轴方位角确定精度优于±1.17°，具有良好的可行性，在半球谐振陀螺研制方面具有良好的参考意义。     

移动机器人铣削制孔系统基准检测

结合航空大部件的数字化对接装配需求,设计了一套用于对接面铣削制孔的移动机器人加工系统,并提出具体的加工工艺流程。研究了基于激光轮廓扫描仪的大量散乱点云数据的预处理算法,提出基于栅格法和迭代拟合法的对接面特征提取算法。针对移动机器人加工系统在大场景下的高精度定位问题,提出基于扫描线法和最小二乘法原理的对接基准孔坐标找正算法。通过产品的加工实验验证,对接面铣削和制孔精度满足系统要求的各项技术指标,证明了本文提出的移动机器人铣削制孔系统的装配对接面加工方法能够精确地完成大部件数字化装配任务,对提高装配质量和效率具有重要意义。     

面向学生的智能解题专家系统的研究与设计

探讨了网络在专家系统中的应用 ,给出了一个基于网络的面向学生的智能解题专家系统的模型 ,分析了设计的基本过程。从专家系统出发 ,探讨了基于知识的推理系统。最后 ,从以上设计出发 ,总结了基于该模型的系统需进一步研究的工作。     

涡旋真空泵的密封设计

涡旋真空泵在工作过程中动、静涡盘之间间隙存在泄漏损失,它是影响涡旋真空泵工作性能的重要因素;总结了涡旋真空泵的工作原理;介绍了涡旋真空泵的密封设计与选择、间隙的确定。从材料和结构两方面阐述了密封的几种结构形式,说明了各自的工作原理,及需要注意的问题,阐明这些问题是影响泵性能指标的重要因素。     

试行实验室导师制的探讨

论文主要通过对实验室管理现状的分析,创新性地提出实验室导师制的新模式,并就该模式管理办法的可行性进行了研究。     

多臂协调操作自由飞行空间机器人的位置和内力混合控制

基于多臂自由飞行空间机器人多臂协调操使负载沿着期望的轨迹运动并且控制负载所受的内力为目的，在多臂自由飞行空间机器人系统协调操作的动力学方程基础上，推导了各个机械臂协调操作负载按期望轨迹运动时各个机械臂关节的驱动力矩的计算方法；给出了作用在负载的内力的定义，根据关节力矩计算方法和PID反馈控制原理，建立了多臂自由飞行空间机器人协调操作负载时的位置和内力的控制算法；讨论了所提出的控制算法的稳定性问题，得到了负载的位置误差和内力误差的约束条件。通过仿真实验证明该控制算法能够使负载的实际位姿和内力收敛到期望的轨迹和内力。     

IL-E2线阵遥感相机的研制和TDI分析

针对低照度、高速物体测量等应用场合,介绍了一款高灵敏度的线阵相机的研制方案,相机的线阵CCD芯片采用DALSA公司的IL-E2 ,它具有96级TDI功能,灵敏度比一般的线阵CCD相机提高了约20倍,大幅度提高了相机的整体响应水平,通过试验,得出结论,TDI性能的良好发挥必需依靠图像与TDI数据流精确的同步,即使10%的失步也会造成相机灵敏度的严重退化,因此在精确控制像速度的情况下,更适合作为一款遥感相机来使用.     

行星际结构与准平行无碰撞激波的相互作用

应用一维混合模拟方法数值研究了高密度等离子体团和行星际激波与准平行无碰撞激波的相互作用．结果表明，由于推平行无碰撞激波上游的大振幅低频波动的散射，除了在通过激波过渡区时稍有压缩外，等离子体团从激波的上游开始就一直是不断弥散的．行星际激波在向准平行无碰撞激波靠近的过程中，会在其上游产生大振幅的低频波动，同时行星际激波的强度不断增加，最后和准平行无碰撞激波会并成一个新的激波，在新激波前继续有大振幅的低频波动产生     

稠密颗粒增强复合材料应变分布规律和刚度张量

针对高体积份数、随机分布、等轴状颗粒增强复合材料 ,研究了材料的应变分布规律 ,给出了基体和增强体应变平均值与材料微观结构参数之间的定量关系。结果表明 ,除应变平均值外 ,应变涨落是影响刚度张量的另一个重要因素 ,研究了应变涨落与材料微观结构参数之间的关系 ,并推导出了复合材料的刚度张量。与实验结果和以往的理论比较 ,预测结果与实验结果吻合良好     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。